The Complexity of Reasoning for Fragments of Default Logic

Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as \SigmaPtwo-complete, and the complexity of the credulous and skeptical reasoning problem as SigmaP2-complete, resp. PiP2-complete. Additionally, he investigated restrictions on the default rules, i.e., semi-normal default rules. Selman made in 1992 a similar approach with disjunction-free and unary default rules. In this paper we systematically restrict the set of allowed propositional connectives. We give a complete complexity classification for all sets of Boolean functions in the meaning of Post's lattice for all three common decision problems for propositional default logic. We show that the complexity is a hexachotomy (SigmaP2-, DeltaP2-, NP-, P-, NL-complete, trivial) for the extension existence problem, while for the credulous and skeptical reasoning problem we obtain similar classifications without trivial cases.Comment: Corrected versio

Do Stress Responses Promote Leukemia Progression? An Animal Study Suggesting a Role for Epinephrine and Prostaglandin-E2 through Reduced NK Activity

In leukemia patients, stress and anxiety were suggested to predict poorer prognosis. Oncological patients experience ample physiological and psychological stress, potentially leading to increased secretion of stress factors, including epinephrine, corticosteroids, and prostaglandins. Here we tested whether environmental stress and these stress factors impact survival of leukemia-challenged rats, and studied mediating mechanisms. F344 rats were administered with a miniscule dose of 60 CRNK-16 leukemia cells, and were subjected to intermittent forced swim stress or to administration of physiologically relevant doses of epinephrine, prostaglandin-E2 or corticosterone. Stress and each stress factor, and/or their combinations, doubled mortality rates when acutely applied simultaneously with, or two or six days after tumor challenge. Acute administration of the β-adrenergic blocker nadolol diminished the effects of environmental stress, without affecting baseline survival rates. Prolonged β-adrenergic blockade or COX inhibition (using etodolac) also increased baseline survival rates, possibly by blocking tumor-related or normal levels of catecholamines and prostaglandins. Searching for mediating mechanisms, we found that each of the stress factors transiently suppressed NK activity against CRNK-16 and YAC-1 lines on a per NK basis. In contrast, the direct effects of stress factors on CRNK-16 proliferation, vitality, and VEGF secretion could not explain or even contradicted the in vivo survival findings. Overall, it seems that environmental stress, epinephrine, and prostaglandins promote leukemia progression in rats, potentially through suppressing cell mediated immunity. Thus, patients with hematological malignancies, which often exhibit diminished NK activity, may benefit from extended β-blockade and COX inhibition

Nitrous oxide may not increase the risk of cancer recurrence after colorectal surgery: a follow-up of a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Even the best cancer surgery is usually associated with minimal residual disease. Whether these remaining malignant cells develop into clinical recurrence is at least partially determined by adequacy of host defense, especially natural killer cell function. Anesthetics impair immune defenses to varying degrees, but nitrous oxide appears to be especially problematic. We therefore tested the hypothesis that colorectal-cancer recurrence risk is augmented by nitrous oxide administration during colorectal surgery.</p> <p>Methods</p> <p>We conducted a 4- to 8-year follow-up of 204 patients with colorectal cancer who were randomly assigned to 65% nitrous oxide (n = 97) or nitrogen (n = 107), balanced with isoflurane and remifentanil. The primary outcome was the time to cancer recurrence. Our primary analysis was a multivariable Cox-proportional-hazards regression model that included relevant baseline variables. In addition to treatment group, the model considered patient age, tumor grade, dissemination, adjacent organ invasion, vessel invasion, and the number of nodes involved. The study had 80% power to detect a 56% or greater reduction in recurrence rates (i.e., hazard ratio of 0.44 or less) at the 0.05 significance level.</p> <p>Results</p> <p>After adjusting for significant baseline covariables, risk of recurrence did not differ significantly for nitrous oxide and nitrogen, with a hazard ratio estimate (95% CI) of 1.10 (0.66, 1.83), <it>P </it>= 0.72. No two-way interactions with the treatment were statistically significant.</p> <p>Conclusion</p> <p>Colorectal-cancer recurrence risks were not greatly different in patients who were randomly assigned to 65% nitrous oxide or nitrogen during surgery. Our results may not support avoiding nitrous oxide use to prevent recurrence of colorectal cancer.</p> <p>Implications Statement</p> <p>The risk of colorectal cancer recurrence was similar in patients who were randomly assigned to 65% nitrous oxide or nitrogen during colorectal surgery.</p> <p>Trial Registration</p> <p>Current Controlled Clinical Trials NCT00781352 <url>http://www.clinicaltrials.gov</url></p

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

An improved method to study NK-independent mechanisms of MTLn3 breast cancer lung metastasis

Toxicolog

An improved model to study tumor cell autonomous metastasis programs using MTLn3 cells and the Rag2−/− γc−/− mouse

The occurrence of metastases is a critical determinant of the prognosis for breast cancer patients. Effective treatment of breast cancer metastases is hampered by a poor understanding of the mechanisms involved in the formation of these secondary tumor deposits. To study the processes of metastasis, valid in vivo tumor metastasis models are required. Here, we show that increased expression of the EGF receptor in the MTLn3 rat mammary tumor cell-line is essential for efficient lung metastasis formation in the Rag mouse model. EGFR expression resulted in delayed orthotopic tumor growth but at the same time strongly enhanced intravasation and lung metastasis. Previously, we demonstrated the critical role of NK cells in a lung metastasis model using MTLn3 cells in syngenic F344 rats. However, this model is incompatible with human EGFR. Using the highly metastatic EGFR-overexpressing MTLn3 cell-line, we report that only Rag2−/−γc−/− mice, which lack NK cells, allow efficient lung metastasis from primary tumors in the mammary gland. In contrast, in nude and SCID mice, the remaining innate immune cells reduce MTLn3 lung metastasis formation. Furthermore, we confirm this finding with the orthotopic transplantation of the 4T1 mouse mammary tumor cell-line. Thus, we have established an improved in vivo model using a Rag2−/− γc−/− mouse strain together with MTLn3 cells that have increased levels of the EGF receptor, which enables us to study EGFR-dependent tumor cell autonomous mechanisms underlying lung metastasis formation. This improved model can be used for drug target validation and development of new therapeutic strategies against breast cancer metastasis formation